Discrete event system modeling using SysML and model transformation
نویسنده
چکیده
منابع مشابه
An integrated framework for automated simulation of SysML models using DEVS
System models are constructed to design, study, and understand complex systems. According to the systems modeling language (SysML) that is a standard for model-based system engineering, all engineering activities should be performed using a common model. To validate complex system models defined in SysML, simulation is usually employed. There are numerous efforts to simulate SysML models using ...
متن کاملSimulating Sysml Models: Automated Code Generation for Devs Simulators
SysML is considered as an emerging standard for modelbased system engineering where the system engineer should perform all engineering activities based on a common model. The evaluation of system models designed by the system engineer is one of the most common engineering activities, frequently performed using simulation. Thus, there are numerous efforts to simulate SysML models using a variety...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملDesyreML: a SysML profile for heterogeneous embedded systems*
We propose a novel language for the formal description of heterogeneous embedded systems (DesyreML). As the main contribution, the language is formally described in terms of semantics and concrete syntax based on the SysML language. We define the concept of thick connector to allow for heterogeneous components communication and computation for multiple semantic domains (synchronous reactive, co...
متن کاملAn Overview of the SysML-Modelica Transformation Specification
This paper provides an overview of the formal transformation between the two complementary languages: OMG SysML and Modelica. SysML is a standardized general purpose graphical modeling language for capturing complex system descriptions in terms of their structure, behavior, properties, and requirements. Modelica is a standardized general purpose systems modeling language for analyzing the conti...
متن کامل